logic base造句
例句与造句
- Study of flexible logic based on universal logic
基于泛逻辑学的柔性命题逻辑研究 - Proving several theorems in first order logic based on back - and - forth method
向前向后法证明一阶逻辑的几个定理 - The teaching logic base and structural framework of modern long - distance higher education
现代远程高等教育教学的逻辑起点和结构框架 - Generalized tautologies theory of universal logic based on 0 - level universal and operators
基于零级泛与运算的泛逻辑中广义重言式理论 - Semantic system of lattice - valued propositional logic based on finite lattice implication algebra
基于有限格蕴涵代数的格值命题逻辑语义系统 - It's difficult to find logic base in a sentence. 用logic base造句挺难的
- Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra
基于有限格蕴涵代数的格值命题逻辑语法系统 - However , this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,传统的模型检测是基于时态逻辑的,它并不支持知识逻辑规范的验证。 - Pattern centers around the simple concept of routing requests to specific pieces of business logic based on some defined criteria
模式是向基于既定标准的具体商业逻辑片断发送请求这个简单概念的核心内容。 - The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter - examples
摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。 - Abstract : suggests a distributed operator logic based on evidence , which follows from the concept of relation number in the spa , and discuss its properties
文摘:根据spa中联系数的概念，提出了一个基于证据的分布算子逻辑，并讨论了其性质 - This paper followed the following essential ways on research method : the first is the cooperation and coherence of the logic base and the demonstrative theory
本论文在研究方法上,遵循了以下基本理路:一是逻辑基础和实证理论的调适与凝合。 - Several years ago , professor ju shi - er advanced that reasoning could proceed based on an open world , proposing an assumption of a 3 - valued propositional logic based on an open world
鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。 - We propose a novel first - order probability logic based solution , context logic . it deals with the uncertainties in the context based on the theory of probability , while at the same time , poessing the first - order property
一阶概率逻辑可以使我们基于严格的概率模型来描述上下文中的不确定性和作相应的推理，同时它具有一阶描述能力。 - 16 rendell d a , cui z , cohn a g . a spatial logic based on regions and connection . international conference on knowledge representation and reasoning , 1992 , pp . 165 - 176 . 17 fiadeiro jos e l . categories for software engineering
进一步把带类型范畴的概念推广为类范畴，可以描述不完全和有缺陷的知识，以及不完全知识和有缺陷知识消除缺陷和完备化的过程。 - The paper proposed agile scheduling general work logic based on agile rules , and based on which , emphasized on the research of constructing logistics scheduling optimization model and hierarchically solving algorithm with high performance
摘要在提出基于敏捷性准则的敏捷调运总体工作逻辑的基础上，重点研究了基于该准则的物流调运优化模型的构建及其高性能的递阶求解算法。
更多例句： 下一页